if b then(x) else y
